<?php

$lang['page_rendered'] = 'Page générée en';
$lang['seconds'] = 'secondes';